localization functor

局部化函子